Communication-optimal eventually perfect failure detection in partially synchronous systems
نویسندگان
چکیده
منابع مشابه
Communication-optimal eventually perfect failure detection in partially synchronous systems
Article history: Received 11 March 2009 Received in revised form 18 July 2013 Accepted 19 May 2014 Available online 2 July 2014
متن کاملFailure Detection with Booting in Partially Synchronous Systems
Unreliable failure detectors are a well known means to enrich asynchronous distributed systems with time-free semantics that allow to solve consensus in the presence of crash failures. Implementing unreliable failure detectors requires a system that provides some synchrony, typically an upper bound on end-to-end message delays. Recently, we introduced an implementation of the perfect failure de...
متن کاملEventually Perfect Failure Detectors Using ADD Channels
We present a novel implementation of the eventually perfect failure detector (3P) from the original hierarchy of Chandra-Toueg oracles. Previous implementations of 3P have assumed models of partial synchrony where point-to-point message delay is bounded and/or communication is reliable. We show how to implement this important oracle under even weaker assumptions using Average Delayed/Dropped (A...
متن کاملHow to Implement a Time-Free Perfect Failure Detector in Partially Synchronous Systems
This paper introduces our partially synchronous Θ-Model, which is essentially the well-known FLP model augmented with a bound Θ on the ratio between the maximum and minimum end-to-end delays of messages simultaneously in transit between correct processes. We show that the Θ-Model admits the implementation of a perfect failure detector, which allows to employ classic solutions for solving import...
متن کاملPerfect Failure Detection in Timed Asynchronous Systems
Perfect failure detectors can correctly decide whether a computer is crashed. However, it is impossible to implement a perfect failure detector in purely asynchronous systems. We show how to enforce perfect failure detection in timed asynchronous systems with hardware watchdogs. The two main system model assumptions are (1) each computer can measure time intervals with a known maximum error, an...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer and System Sciences
سال: 2015
ISSN: 0022-0000
DOI: 10.1016/j.jcss.2014.06.010